Robotics-assisted treadmill exercise